DE eng

Search in the Catalogues and Directories

Hits 1 – 8 of 8

1
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
Cramer, Marcos [Verfasser]; Fisseni, Bernhard [Verfasser]; Koepke, Peter [Verfasser]. - Mannheim : Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek, 2018
DNB Subject Category Language
Show details
2
Controlled Natural Language : Third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012, Proceedings
Kuhn, Tobias; Fuchs, Norbert E. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
UB Frankfurt Linguistik
Show details
3
Controlled Natural Language : Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers
Rosner, Michael; Fuchs, Norbert E. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
UB Frankfurt Linguistik
Show details
4
Legislative drafting guidelines: How different are they from controlled language rules for technical writing?
In: Höfler, Stefan (2012). Legislative drafting guidelines: How different are they from controlled language rules for technical writing? In: Kuhn, Tobias; Fuchs, Norbert E. Controlled Natural Language - Third International Workshop, CNL 2012. Berlin Heidelberg: Springer Verlag, 138-151. (2012)
BASE
Show details
5
Controlling ambiguities in legislative language
In: Bünzli, Alexandra; Höfler, Stefan (2012). Controlling ambiguities in legislative language. In: Rosner, Mike; Fuchs, Norbert E. Controlled Natural Language - Second International Workshop, CNL 2010. Berlin: Springer, 21-42. (2012)
BASE
Show details
6
Controlled Natural Language : Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009, Revised Papers
Fuchs, Norbert E. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
UB Frankfurt Linguistik
Show details
7
Controlled natural language : revised papers
Fuchs, Norbert E. (Hrsg.). - Berlin [u.a.] : Springer, 2010
BLLDB
UB Frankfurt Linguistik
Show details
8
Plural semantics for natural language understanding : a computational proof-theoretic approach
Schwertel, Uta [Verfasser]; Hess, Michael [Gutachter]; Fuchs, Norbert E. [Gutachter]. - Frankfurt am Main : Universitätsbibliothek Johann Christian Senckenberg, 2005
DNB Subject Category Language
Show details

Catalogues
4
0
0
0
2
0
0
Bibliographies
1
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
2
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern